1. Advances in computers.

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer science.,Computers.,Electronic data processing.,Computer science.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Computers.,Electronic data processing.

رده :
QA76
.
A3eb
vol
.
47

2. Advances in computers.

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer science.,Computers.,Electronic datat processing.,Computer science.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Computers.

رده :
QA76
.
A3eb
vol
.
5

3. Artificial intelligence and heuristic programming

پدیدآورنده :

موضوع : Artificial intelligence,Electronic digital computers - Programming,Heuristic programming

۲ نسخه از این کتاب در ۲ کتابخانه موجود است.

4. Automated reasoning: 33 Base research problems

پدیدآورنده :

کتابخانه: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)

موضوع : Automatic theorem proving,Artificial intelligence,Electronic digital computers- Programming

رده :
QA
،
76
.
9
،.
A96
,
W67
،
1988

5. Automated reasoning: introduction and applications

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع : ، Automatic theorem proving,، Artificial intelligence,Programming ، Electronic digital computers

رده :
QA
76
.
9
.
A96
A93
1984

6. Catalogue of artificial intelligence tools

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Artificial intelligence -- Data processing,، Robotics,، Electronic digital computers -- Programming,Catalogs ، Computer programs

رده :
Q
336
.
C27
1986

7. Catalogue of artificial intelligence tools

پدیدآورنده :

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع : ، Artificial intelligence-- Data processing,، Robotics,، Electronic digital computers-- Programming,، Computer software-- Catalogs

رده :
Q
336
.
B86
1986

8. Catalogue of artificial intelligence tools

پدیدآورنده :

کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)

موضوع : ، Artificial intelligence - Data processing,، Robotics,، Electronic digital computers - Programming,، Computer software - Catalogs

رده :
Q
336
.
B86
1984

9. Computers and languages: Theory and Practice

پدیدآورنده :

کتابخانه: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)

موضوع : Electronic digital computers- Programming,Programming language (Electronic Computer)

رده :
QA
،
76
.
6
،.
N55
،
1988

10. Developing 2D games with Unity :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Unity (Electronic resource),Unity (Electronic resource),C# (Computer program language),Video games-- Design.,C# (Computer program language),COMPUTERS-- Programming-- Games.,Video games-- Design.

رده :
QA76
.
76
.
C672

11. Hackers /

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Artificial intelligence-- Research,Computer engineering,Computer hackers,Geeks (Computer enthusiasts),Programming (Electronic computers)

12. Mobile and wireless communication networks :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Mobile communication systems, Congresses.,Wireless communication systems, Congresses.

13. On conceptual modelling : perspectives from artificial intelligence, database, and programming languages

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Digital computer simulation,، Artificial intelligence,، Database management,، Programming languages )Electronic computers(

رده :
QA
76
.
9
.
C65O5
1984

14. Parallel processing and applied mathematics :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Mathematics, Congresses.,Parallel processing (Electronic computers), Congresses.,Algorithms & data structures.,Artificial intelligence.,Computer architecture & logic design.,Computer networking & communications.,Computers-- Data Processing.,Computers-- Hardware-- General.,Computers-- Intelligence (AI) & Semantics.,Computers-- Logic Design.,Computers-- Programming-- Algorithms.,Computers-- Software Development & Engineering-- General.,Mathematical theory of computation.,Mathematics.,Parallel processing (Electronic computers),Software Engineering.

رده :
QA76
.
58

15. Programming for artificial intelligence: methods, tools and applecations

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع : Programming ، Electronic digital computers,، Artificial intelligence

رده :
QA
76
.
6
.
K735
1990

16. Programming for artificial intelligence: : methods, tools, and applications

پدیدآورنده :

کتابخانه: كتابخانه پژوهشگاه نیرو (طهران)

موضوع : ، Electronic digital computers- Programming,، Artificial intelligence

17. Representation and meaning; experiments with information processing systems

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع : ، Artificial intelligence,، Programming languages )Electronic computers(,، Language data processing

رده :
Q
335
.
S5

18. Temporal logic : first international conference, ICTL '94, Bonn, Germany, July 11-14, 1994 : proceedings

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع : ، Electronic digital computers-- Programming,، Logic, Symbolic and mathematical

رده :
QA
76
.
6
.
T4414
1994

19. The algorithmic code of ethics :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Algorithms-- Moral and ethical aspects.,Electronic data processing-- Moral and ethical aspects.,Information technology-- Moral and ethical aspects.,BUSINESS & ECONOMICS-- Business Ethics.,COMPUTERS-- Programming-- Algorithms.,Electronic data processing-- Moral and ethical aspects.,Information technology-- Moral and ethical aspects.

رده :
QA76
.
9
.
M65